Re-enable per-cpu cache on map_domain_page(). Fix the
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 12 Jan 2006 14:43:22 +0000 (15:43 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 12 Jan 2006 14:43:22 +0000 (15:43 +0100)
commit6f7a043a6a492700ddb3ccadd3757939adf89123
tree99889c09401212b110bc5611e5cf5ffebb2d9089
parent6889a045da2efd0c17c8fb1270f69f408f9fb24f
Re-enable per-cpu cache on map_domain_page(). Fix the
offending caller that broke the vcpu cache (writable
pagetable code kept a mapping outstanding until flush,
which could occur on a different vcpu).

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c
xen/arch/x86/x86_32/domain_page.c
xen/include/asm-x86/mm.h